Ingredient: pickled gherkins