Pork Tenderloin without hazelnut

1 2 1/2 pound pork tenderloin (or two smaller 1-1 1/2 pound tenderloins) 4 large garlic cloves, pressed 4 teaspoons chopped fresh rosemary or 2 teaspoons[...]

3 cups chicken broth 1 cup brandy 1 1/4 cups dried tart cherries 1 tablespoon fresh thyme 1 teaspoon ground allspice 3 10-to-12-ounce pork tenderloins, cut[...]