Stav dette: DDR, Deutsche Demokratische Republik