Oven Roasted Pork Tenderloin With Orange Glaze

Ingredients

• 1 lb. pork tenderloin ((480-500 g))
• 1.5 teaspoons salt
• ½ teaspoon pepper
• 1 teaspoon garlic powder
• 1 teaspoon paprika powder
• 1 teaspoon coriander seed powder
• 1 teaspoon dried thyme (or mixed herbs)
• ½ teaspoon cinnamon
• 2 medium white potatoes (or sweet potatoes, diced into small cubes)
• 7 oz Brussels sprouts (cut in halves (200 g.))
• 7 oz fine green beans (tails cut off (200 g))
• 2 tablespoons olive oil
• A little salt
• ½ cup orange juice
• 1 tsp orange zest
• 1 tablespoon lemon juice
• 1 teaspoon mustard
• 3 tablespoons maple syrup
• 1 oz butter (about 1.5 tablespoons or 25-28 g)
• A pinch of salt