How many civilians were killed during the axis bombing raids in World War II