Un monument din secolul al XVIII-iea dispărut. Primăria veche a Aradului