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

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