Redfish fillet with stewed black cabbage, gnocchi and porcini sauce