Wie groß darf ein Pool in Baden-Württemberg sein?