Wie lange dauert die Nachspielzeit in der zweiten Halbzeit eines Pokalspiels?

• Der Schiedsrichter entscheidet nach Ermessen
• Keine Nachspielzeit
• Immer 10 Minuten
• Immer 5 Minuten