Mushroom Ketchup

• 10 allspice (whole)
• 3 shallots
• 3 mace blades
• 2 bay leaves
• 1 onion
• 1 garlic clove
• 700 ml tap water (hot)
• 475 ml wine vinegar (white)
• 250 gr mushrooms
• 12 gr pickling salt