二战后德国还有多少人口