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

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