Old City Hall: a great public structure