West Berlin
West Berlin was called "Berlin (West)" by the West Germany government, and usually  by the East German government. The east German spelling suggested that West Berlin was not really part of "Berlin" as a whole, but a separate place. East Berlin was officially called Berlin, Hauptstadt der DDR ("Berlin, Capital of the GDR"), or simply "Berlin," by East Germany.