German pork tenderloin