Mushroom ragout with napkin dumplings