Informasi yang berkaitan dengan nl/Judo op de Olympische Zomerspelen 1980 – Klasse tot 71 kilogram mannen