echo $begrüßung;
Wenn du mal unterschiedliche Werte für das value-Attribut und den vom Button anzuzeigenden Inhalt verwendest, siehst du noch einen zweiten Fehler. Der IE überträgt nicht den "value"-Wert sondern den Inhalt.
Das ist der Grund, warum ich da die gleichen Werte verwende.
Naja... in dem Fall verzichtest du auf den entscheidenden Vorteil und Haupt-Einsatzweck von <button> gegenüber <input type=button>. Der Sinn ist ja, dass man als Beschriftung quasi alles Mögliche an HTML-Code angeben kann. Doch diesen ganzen Kladderadatsch will man andererseits nicht im value stehen haben. Wenn du die Gestaltungsmöglichkeiten nicht benötigst, kannst du ruhig auf den Einsatz (und die IE-Fehler) von <button> verzichten.
echo "$verabschiedung $name";