Baked pork tenderloin filet