Hitler’s battered capital killing how many civilians?