Informasi yang berkaitan dengan nl/Schoonspringen op de Olympische Zomerspelen 1972 – tienmetertoren mannen