Rivalité entre l'Allemagne de l'Est et l'Allemagne de l'Ouest en football