Wie viel Einwohner hatte Deutschland 1935?