Wie groß muss ein Topf für Gurken sein?