Pork Tenderloin with Mushrooms and Grated Halloumi - Recipe