echo $begrüßung;
Ausgabekodierung bei PHP ist mir nicht klar, wo diese setze.
Eingabekodierung ist mir völlig unklar.
Meines Wissens mittels iconv_set_encoding.
Diese Funktion ist nur was für die iconv-Erweiterung. PHP hat vor Version 6 keine eingebaute Konvertierung in eine bestimmte Kodierung, die man irgendwo generell angeben könnte.
echo "$verabschiedung $name";