Berlin in the time of the wall