Die ehemalige innerdeutsche Grenze