pork tenderloin, cut into 2 cm (about 3/4 inch) thick slices • garlic, whole (do not crush) • small potatoes, sliced into 1.5 cm (about 1/2 inch) rounds • large carrot, cut into large pieces • dried rosemary • ground cinnamon • chicken bouillon cube • red wine (from a convenience store, non-carbonated, chilled) • freshly ground black and white pepper • salt • ladles tomato ketchup • salted butter •