echo $begrüßung;
Ich kann ja auch mittels PHP den Header ändern. Irgendwas in der Art.
HEADER("Content-Type: text/html; charset=UTF-8")
Wobei das wieder an anderer Stelle zu Problemen kommen kann.
An welche Stelle(n) dachtest du dabei? Mit header() setzt du für die angeforderte Ressource einen Header. Nebenwirkungen mit anderen Requests sind dabei nicht zu erwarten.
echo "$verabschiedung $name";