Commonly known in English as East Germany, the former Soviet Occupation Zone, eventually became the German Democratic Republic or GDR.
Umumnya dikenal dalam bahasa Inggris sebagai Jerman Timur, bekas Zona Pendudukan Soviet, akhirnya menjadi Republik Demokratik Jerman atau GDR.