pork tenderloin-with-sauerkraut