How West Berlin appeared on a 1988 East German Map