echo $begrüßung;
array_push($User,$z[0]);
macht genau was ich will.
Wenn du die Dokumentation aufmerksam gelesen hättest, würdest du beim Anhängen eines einzelnen Wertes an ein Array statt obigem Code das üblichere, schnellere (unnötiger Funktionsaufruf fällt weg) und einfachere
$User[] = $z[0];
verwenden.
echo "$verabschiedung $name";