Allemagne de l'Ouest
For the 1972 Summer Olympics in Munich, West Germany, see West Germany at the Olympics.