Wie tief darf ein Pool in Deutschland sein ohne Bademeister?