Some of the buildings around the city square in the Kota also date from colonial times, including the old city hall ( 1710 ), which has been restored and now serves as the municipal museum.
The 18th century Old City Hall has been re-done and is now a museum.
( z1 and :op ( z2 redo :ARG1 ( z3 building :name ( z4 name :op "Old" :op "City" :op "Hall" ) :time ( z5 date-entity :century 18 ) ) ) :op ( z6 museum :domain z3 :time ( z7 now ) ) )