Pork Tenderloin and Roasted Sweet Potatoes with Port Sauce - Cookidoo® – the official Thermomix® rec

Ingredients

• 750 g sweet potatoes
• 500 g shallots
• 1 Tbsp olive oil
• 2 tsp fine sea salt
• ¾ tsp ground black pepper
• 5 garlic cloves
• 40 g unsalted butter
• 2 ½ Tbsp fresh thyme leaves
• 1 ½ Tbsp Dijon mustard
• 1 ½ tsp smoked paprika
• 1 Tbsp fresh rosemary leaves
• 2 pork tenderloins
• 30 g olive oil
• 15 g unsalted butter
• 1 Tbsp caster sugar
• 70 g ruby port
• ½ beef stock cube (for 0.5 l)
• 200 g water