Una vez solucionada la avería, volvemos a abrir la piscina de verano.