Vad var den officiella benämningen på Östtyskland?

Deutsche Demokratische Republik