Wie tief muss ein Topf für Gurken sein?