二战后德国还有多少兵力