ayuntamiento o casa consistorial, DERIO