二战结束后德国还有多少兵力