. "Border of West Germany" . . .