nicht angemeldet
echo $begrüßung;
PS: Das Eurozeichen gibt's übrigens in ISO-8859-1 nicht - nur für den Fall, dass du es vermisst.
Allerdings ist es in Windows-1252 enthalten, was vom Inhalt her betrachtet eine Erweiterung von ISO-8859-1 ist. Meist werden auch die Windows-1252-spezifischen Zeichen, wenn sie in mit ISO-8859-1 deklarierten Dokumenten auftauchen, "richtig" dargestellt. Allerdings sind einige Konvertierungsroutinen deutlich strenger als die Browser und setzen die Windows-1252-spezifischen Zeichen nicht in ihre UTF-8-Pendants um. Man müsste dann im Falle von PHP statt zu utf8_en/decode() zur iconv- oder recode-Extension greifen.
echo "$verabschiedung $name";