Veal dumplings with porcini mushrooms