Reguläre Nachspielzeit waren sogar 11 Minuten angezeigt. Durch elfmeter und rote Karte var Einsätze wurden es dann noch 15
Ging schon aus den vorher genannten Gründen in Ordnung find ich. Problem ist halt auch wieder, dass das nicht immer so konsequent nachgespielt wird.