Walter Altmann entschied auf Sturm-Elfmeter. Laut Liga ein Fehler.