processing—whether for mustard gherkins (Senfgurke), gherkins or dill pickles (Gewürzgurke) or pickled cucumbers (Salzgurke). This enormous time saving is achieved...