Zwiebel, Karotten, Sellerie und Zucchini klein schneiden. Erhitze das Olivenöl in einem großen Topf bei mittlerer Hitze. Gib die Zwiebeln hinzu und dünste sie glasig an. Füge Karotten, Sellerie und Zucchini hinzu und brate alles für weitere 5 Minuten an.

Gib den Knoblauch zusammen mit dem Tomatenmark dazu und röste beides 1-2 Minuten an, um den Geschmack zu intensivieren.

Optional: Gieße den Rotwein hinzu und lasse ihn kurz einkochen.

Füge die passierten oder stückigen Tomaten, die Gemüsebrühe und die Lorbeerblätter hinzu. Würze mit Oregano (oder Kräutern der Provence), edelsüßem Paprikapulver, Salz und Pfeffer. Rühre alles gut um. Gib die ungekochten braunen Linsen in den Topf und rühre sie unter.

Lasse die Suppe bei mittlerer Hitze etwa 25-30 Minuten köcheln, bis die Linsen weich sind. Rühre gelegentlich um und prüfe den Flüssigkeitsstand; füge bei Bedarf mehr Gemüsebrühe oder Wasser hinzu.

Füge die in Stücke gebrochenen Lasagneblätter hinzu und koche sie nach Packungsanleitung al dente. Rühre regelmäßig um, damit die Nudeln nicht aneinander kleben. Entferne die Lorbeerblätter. Schmecke die Suppe mit Salz, Pfeffer und optional Hefeflocken ab.

Verteile die Suppe auf Schüsseln und garniere sie nach Belieben mit frischem Basilikum und einem Klecks Hafersahne.