das alte Rathaus, Ayuntamiento Viejo, am Plaza del Carmen