Recipe for Pork Tenderloin

10 T butter, divided, 1 cup of celery, chopped, 1 cup leeks, chopped (just the white parts),

½ cup orange juice, ½ cup white wine, 2 garlic cloves, finely chopped, 3 t chopped rosemary, d