二战后德国人口剩多少