In that case I got more interesting knowledge for you: Rotterdam was also bombed by the allies. It's often refered to as the forgotten bombardment: https://en.wikipedia.org/wiki/Allied_bombing_of_Rotterdam