Assertion: east berlin | /r/Synonym | berlin
Facets:
value: officially
type: MANNER
Source sentences:
text: Starting from 31 May 1961, East Berlin was officially called Berlin, Hauptstadt der DDR (Berlin, Capital of the GDR), replacing the formerly used term Demokratisches Berlin, or simply "Berlin", by East Germany, and "Berlin (Ost)" by the West German Federal government.