Vorbereitung: Backofen auf 220 °C Ober-/Unterhitze (200 °C Umluft) vorheizen. Gemüse und Kräuter waschen. Zwiebel und Knoblauch schälen, Zwiebel fein würfeln, Knoblauch pressen. Karotte schälen und klein würfeln. Paprika entkernen und in Würfel schneiden. Champignons vierteln. Kartoffeln ungeschält in dünne Scheiben schneiden. Petersilie grob hacken.

Gemüse anbraten: Öl in einem großen Topf erhitzen. Zwiebeln 4–5 Minuten anbraten. Karotten, Paprika und Champignons zufügen und weitere 5 Minuten garen. Knoblauch dazugeben.

Linsen kochen: Abgespülte Linsen in den Topf geben. Mit heißem Wasser ablöschen. Tomatenmark, Sojasoße, Senf und Gemüsebrühe einrühren. Mit Salz und Pfeffer abschmecken. Babyspinat und einen Teil der Petersilie untermischen und 3–4 Minuten köcheln lassen.

Auflauf schichten: Linsengemüse in eine Auflaufform füllen. Kartoffelscheiben dachziegelartig darauflegen, Butter darüber verteilen und 20–25 Minuten backen.

Überbacken: Nach der Backzeit den Auflauf mit Cheddar bestreuen und 5 Minuten unter dem Grill goldbraun überbacken.

Servieren: Mit restlicher Petersilie bestreuen und heiß genießen.