Update:
On October 15th my downstairs neighbor changed their windows, there was drilling involved of course. The shaking of the bed woke me up. I was exposed to noise for less than 5 minutes, but there was about 10 seconds of pain inducing noise, even though I was wearing double ear protection...