Wie viel Einwohner hatte Deutschland vor der Wende?