Miscellaneous with shanks

8 venison shanks (approximately 1 1/2 lbs) 100 g smoked bacon , finely diced 1 carrot , finely diced 2 celery ribs , finely diced 1 medium onion , finely[...]

1 ounce dried porcini mushrooms 1 1/2 cups lukewarm water 4 tablespoons olive oil 2 ounces pancetta , cut into 1/4-inch dice 1 1/2 lbs boneless beef shank or[...]