Was passiert, wenn ein Torhüter während des Elfmeterschießens ausgewechselt wird?

• Er muss das Spielfeld verlassen
• Er darf einen weiteren Elfmeter schießen
• Er darf nicht mehr am Elfmeterschießen teilnehmen
• Er darf wieder ins Spiel zurückkehren