echo $begrüßung;
Ja, das ist ein bekanntes Problem, ich habe mich darum gekümmert, dass es bei PHP 5.3 nicht mehr auftritt,
Hmm, in PHP Version 5.2.8-pl2-gentoo tritt das Problem nicht auf, da wird aufgerundet. Vielleicht hat Gentoo den Patch schon rückwirkend aktiviert.
echo "$verabschiedung $name";