Informasi yang berkaitan dengan de/Olympische Sommerspiele 2020/Olympische Sommerspiele 1972/Judo – Halbmittelgewicht (Männer)