Eredivisie_de_1979–80 loading ...