Das war auch wohl die schnellste Rote karte der Bundesligageschichte.