Assertion: east berlin | /r/CapableOf | replace used term
Facets:
value: formerly
type: TEMPORAL
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.