Renovation and operation of the municipal pool.