Netherlands v West Germany at Eindhoven