Oct 11 1980 Holland v Germany Eindhoven