Berlin, East Germany, officially the German Democratic Republic (GDR; German- Deutsche Demokratische