DFB-Pokal 1. Hauptrunde: ??? vs. Arminia