Wie hoch darf ein privater Pool sein?