SANIERUNG DES STÄDTISCHEN SCHWIMMBADS IM RATHAUS VON VILLANUEVA DEL ROSARIO (MALAGA)