Beer-Marinated Pork Tenderloin with Red Cabbage

INGREDIENTS

• 2 pork tenderloins (1 1/2-1 3/4 pound total)
• 1/4 lager
• 1/4 reduced-sodium soy sauce
• 2 (packed) brown sugar
• 1 plus 1 teaspoon apple cider vinegar, divided
• 3 olive oil
• 2 unsalted butter
• 1/2 medium red cabbage, cored, cut into 1/2-inch strips
• 1 apple, peeled, cored, chopped
• 2 bay leaves
• Kosher salt, freshly ground pepper