Linsen quellen oder ggf. etwas vorkochen.

Zwiebel würfeln und in Olivenöl anbraten.
Linsen zugeben und mit dünsten.
Tomatenmark und Kümmel zugeben.
Mit Brühe ablöschen.
Das Ganze köcheln bis die Linsen weich sind (ca. 20 min).

In der Zwischenzeit können die Spätzle gekocht werden.

Champignons vierteln und in Olivenöl anbraten. Mit Kräutersalz, Pfeffer und Paprika würzen.
Lauch in Ringe schneiden.
Pilze, Lauch und Knoblauch zu den Linsen geben und ca. 10 min mit kochen (Je nach dem wie knackig der Lauch sein soll, kann er auch schon früher zu den Linsen gegeben werden).
Mit Essig, Pfeffer und Salz abschmecken.

Das Rezept habe ich aus dem Kochbuch von Kathi Dittrich "Vegetarisch Kochen" was ich übrigens nur sehr empfehlen kann ;-)