Beef broth (about 41/2 quarts): 3  tablespoons butter or margarine 3  pounds beef shank cross cuts 1  clove garlic, peeled 2  onions, peeled and cut in quarters 4  pieces celery with leaves 4  tomatoes, cut in wedges 2  carrots, pared and cut in pieces 1  bay leaf 11/2 teaspoons thyme leaves 2  parsley sprigs 4  [...]