Wie wird die Nachspielzeit im Falle eines Fehlers durch den Schiedsrichter festgelegt?

• Die Spielzeit wird auf 90 Minuten verlängert
• Die Nachspielzeit wird um 10 Minuten erhöht
• Die Nachspielzeit bleibt unverändert, der Schiedsrichter entscheidet über die Zeit
• Das Spiel wird wiederholt