Complaints about vibration-induced noise from the underground metro line in Amsterdam