Ingredients

• 2 quarts water
• 2 1/2 tablespoons coarse salt
• 2 lbs medium mushrooms, cleaned and trimmed
• 1 cup white vinegar
• 1 tablespoon coriander seed
• 2 bay leaves
• 1 1/2 teaspoons sugar
• 1/2 teaspoon black peppercorns
• 1/2 teaspoon whole allspice
• 3/4 teaspoon thyme leaves
• 1 clove garlic, halved
• 1 tablespoon oil (you can use more if you want to!)
• 1 shallot, sliced
• 1 tiny dried red peppers or 1/4 teaspoon red pepper flakes