Allemagne de l'Ouest
Allemagne de l'Est-Allemagne de l'Ouest en football