This pork tenderloin recipe is a festive and flavorful dish that is perfect for a holiday dinner. The pork is seasoned with salt, pepper, and garlic powder, then seared in a hot pan until browned on all sides. It is then cooked in the oven until it reaches an internal temperature of 145°F. Meanwhile, the cranberry sauce is made in the Thermomix by blending fresh cranberries, orange juice, honey, and a pinch of cinnamon until it becomes a tangy and sweet sauce. The sliced pork tenderloin is served with the cranberry sauce on top.