Was passiert bei einer Verletzung eines Spielers in der letzten Minute der Nachspielzeit?

• Das Spiel wird auf 5 Minuten verlängert
• Der Spieler erhält eine Verwarnung
• Das Spiel wird sofort beendet
• Die Nachspielzeit kann um die Zeit der Behandlung verlängert werden