Oven roasted pork tenderloin

smoked potato purée, braised savoy cabbage served with a wholegrain mustard and cream sauce