Was passiert, wenn ein Spieler nach dem Schlusspfiff eine rote Karte erhält?

• Das Tor wird aberkannt
• Er wird für das nächste Spiel gesperrt
• Das Spiel wird wiederholt
• Es wird ein Freistoß gegeben