Wie klein darf ein Gartenteich sein?