Aarhus. Ting og Arresthus. (Gammel Rådhus)