Original: German Democratic Republic (Deutsche Demokratische Republik), the former country East Germany
Simplified: Deutsche Demokratische Republik, the former German Democratic Republic, also known as East Germany