La piscina estaba cubierta pero fue destruida por problemas técnicos después de la segunda guerra mundial.