GDR

Former East Germany.