Thank you for the pointers. This is all super interesting to me, both because I really am bothered by sound pollution on a daily basis and because I think we have all the parts in place to really deal with this, even if it is anything but a trivial problem. And in a way those are the best problems to be working on.