Wind events in Eindhoven, Nederland