DFB Pokal Viertelfinale: DSC Arminia – Borussia Mönchengladbach