east germany grenztruppen der DDR

east germany border troops