echo $begrüßung;
In den Seiteninformationen des Firefox steht als Zeichenkodierung tatsächlich ISO-8859-1. Ich hatte fast befürchtet, dass es etwas mit den Servereinstellungen zu tun hat. Aber welche?
Die Angabe zur Zeichenkodierung steht im HTTP-Header Content-Type. Ist er nicht vorhanden wird als Ersatz das gleichnamige HTML-Meta-Element herangezogen.
echo "$verabschiedung $name";