Pork with sauce

3 teaspoons olive oil 1 teaspoon red wine vinegar 1 teaspoon dried thyme 1 teaspoon dried rosemary 1 tablespoon minced garlic 1/2 teaspoon kosher salt 1/4[...]

1 carrot , trimmed 1 onion , peeled 4 stalks celery 2-3 juniper berries 1 allspice berry 2 cloves 2 peppercorns 4 ounces dry porcini mushrooms, soaked in 1[...]