1972 Summer Olympics — Games of the XX Olympiad, in Munich, West Germany