Für die Knödel Milch mit Salz und Butter aufkochen. Grieß unter Rühren einrieseln lassen und cremig einkochen. Masse umfüllen und und abkühlen lassen. Topfen, Dotter, Parmesan und Kräuter verrühren und mit der Grießmasse vermengen. Masse mit Muskat und Pfeffer würzen. Reichlich Salzwasser aufkochen, aus der Masse Knödel formen, ins Wasser legen und 20 Minuten ziehen lassen. 2. Champignons putzen und vierteln. Zwiebel und Sellerie schälen. Gemüse in Stücke schneiden. Filets in Scheiben schneiden, im Rapsöl kurz anbraten, aus der Pfanne nehmen. 3. Im Bratrückstand Gemüse anrösten. Paradeismark und 1 EL Mehl einrühren, kurz mitrösten und mit der Hälfte Bier aufgießen. Flüssigkeit einkochen lassen. Suppe zugießen, Sauce mit 1 TL Senf, Thymian und Bohnenkraut würzen. Champignons und 1 Lorbeerblatt zugeben und sämig einkochen. Fleisch zugeben und ziehen lassen. Sauce mit übrigem Bier verfeinern. Lorbeer entfernen.