Informasi yang berkaitan dengan de/Olympische Sommerspiele 2016/Olympische Sommerspiele 1972/Leichtathletik – Hochsprung (Männer)