How do they take out the water in the Cathedral?