echo $begrüßung;
Handbuchseiten lesen.
war ich gerade dabei ;-)
srand((double)microtime()*1000000); war die Lösung.
Ich meinte eher den Hinweis:
Note: As of PHP 4.2.0, there is no need to seed the random number generator with srand() or mt_srand() as this is now done automatically.
echo "$verabschiedung $name";