二战结束时德国人口