Wie viele Einwohner hat Deutschland 1945?