“the bombing of Dresden, 1945”