The article never defines GDR, but I looked it up in case you were also unfamiliar:

The German Democratic Republic (GDR), commonly known as East Germany, was a socialist state in Central Europe that existed from October 7, 1949, to October 3, 1990

The German acronym (DDR) is much better known among Eastern Europeans. My parents (Czech) would almost never call it East Germany.

East German here. I have never met East Germans who called their home country Ostdeutschland before the Wende; that was very much a West German thing, and even then not as widespread as one might think (i. e. "DDR" was the much more common name amongst them). After the Wende it became (more of) a thing for Easterners as well, especially in context with the identity: Ostdeutsche(r).

Bulgarian here - for me DDR/GDR is well known. Also FRG.