ألمانيا, الحرب العالمية الثانية, تاريخ, مدنقصف دارمشتات في الحرب العالمية الثانية (Bombing of Darmstadt in World War II)