Obras de eliminación de la intrusión de agua marina en la red de saneamiento: Modificación de la red en la zona de Pio XII en San Sebastián