The group of historians commissioned by Dresden municipality found that merely 25,000 Germans were killed in the Allied bombings of that city, well short of the previous 100-150 thousand estimate. Such a pity.