formally German Democratic Republic , German Ostdeutschland , or Deutsche Demokratische Republik European state (1945–90) that now constitutes the eastern portion of the Federal Republic of Germany. See Germany.