Beef with shanks

3 pounds beef, shank * 1/3 cup carrots diced 1 tablespoon onion minced 1/4 teaspoon celery salt 1/8 teaspoon black pepper * 3 quarts water cold * 1/3 cup[...]

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[...]