Was passiert, wenn ein Spiel aufgrund eines Gewitters unterbrochen wird?

• Das Spiel wird sofort abgebrochen
• Das Spiel wird wiederholt
• Die verlorene Zeit wird am Ende der Halbzeit nachgespielt
• Es wird ein Strafstoß gegeben