a city hall is used for a working environment for city workers.