Pool installations