Wie wird die Nachspielzeit während eines Strafstoßes behandelt?

• Die Nachspielzeit wird um 10 Minuten verlängert
• Das Spiel wird sofort beendet
• Die Nachspielzeit wird um 5 Minuten verlängert
• Die Nachspielzeit wird nicht beeinflusst, der Strafstoß wird wie gewohnt ausgeführt