#east germany #gdr #german democratic republic #DDR #ostdeutschland #former country