Zu viel Code entfernt

c9c4734626e355fc52d91cb0e375b1864a49ccf6 hat Code entfernt, der nicht
entfernt werden sollte. Ist jetzt wieder hinzugekommen, allerdings
mit einer kleinen Schönheitskorrektur.