Netherlands v Germany at Eindhoven