Informasi yang berkaitan dengan de/Eredivisie 1988/Eredivisie 1972/73