Pork tenderloin with sauerkraut sauce