=========================== NOCKERLN ===========================
      1       Ltr. Gemüsebrühe
     30     Gramm  Zerlassene Butter
      1            Ei
                   Salz
                   Muskatnuss
      1            Portionsbeutel Grieß für Nockerln
     30     Gramm  Emmentaler gerieben

========================== PILZRAGOUT ==========================
    600     Gramm  Gemischte Pilze z.B. Champignons, Austernpilze,
                   -- Pfifferlinge, Steinpilze
      1            Zwiebel gewürfelt
     50     Gramm  Speck gewürfelt
      1      Essl. Sonnenblumenöl
    200     Gramm  Sahne
    150     Gramm  Crème fraîche
                   Salz
                   Pfeffer
                   Muskat
      1      Essl. Majoran gehackt

Gemüsebrühe aufkochen. Butter mit Ei, Salz, Muskat, Grieß und
Emmentaler verrühren. Mit zwei Teelöffeln Nocken abstechen, in der
Brühe ca 15 Min köcheln, anschließend bei milder Hitze noch ca 5 Min
ziehen lassen.

Pilze putzen und evtl klein schneiden. Zwiebel- und Speckwürfel im
heißen Öl anbraten, die Pilze mitbraten.

Sahne und Crème fraîche unter die Pilzmischung rühren und alles
etwas einkochen lassen. Pilzragout mit Salz, Pfeffer und Muskat
abschmecken. Mit Käse-Nockerln anrichten und nach Wunsch mit
Kräutern garniert servieren.