Después de eso los alemanes bombardearon Eindhoven.