The Strategic Bombing of German Cities during World War II and its Impact on City Growth