West Germany
Allemagne de l'Ouest aux Jeux olympiques d'été de 1972