Roberto Abraham Scaruffi: How Many Died in the Bombing of Dresden?