Wie groß darf ein Pool im kleingartenverein sein?