. . . "Border of East Germany" .