Aus drei mach vier: Die Zahl der möglichen Auswechslungen im DFB-Pokal erhöht sich für alle Vereine — aber nur, wenn es Verlängerung gibt.