Burger pickles (Thermomix® Cutter, using modes)

Name: Burger pickles (Thermomix® Cutter, using modes)
Prep time: 10 min
Cook time: 2 h 10 min
Total time: 2 h 10 min
Yield: 1000 g
Ingredients: 650 g baby Lebanese cucumbers; iced water; 2 garlic cloves; 1 tsp yellow mustard seeds; 1 tsp black peppercorns; 2 dried bay leaves; 1 tsp dried dill; 4 sprigs fresh dill; 3 tbsp sea salt; 150 g water; 200 g sugar; 250 g white vinegar