Pilzragout mit Zwiebeln, dazu Serviettenknödel