Wie tief dürfen private Pools sein?