So läuft der DFB-Pokal in der Saison 2019/20