This delicious pork tenderloin recipe is made easy with the help of a Thermomix. The tenderloin is seasoned with a blend of herbs and spices, then seared to perfection. The Thermomix is used to make a creamy mustard sauce that pairs perfectly with the tender pork. Serve this dish with roasted vegetables or mashed potatoes for a complete meal.