Email Record: Summary of damage inflicted by air raids on the city of Hamburg in the period July 25 to August 3, 1943 /