Wasser zum Kochen bringen und Buchweizen 1 min sprudelnd kochen. Dann Hitze reduzieren und etwa 15 min garen, bis das Wasser absorbiert ist, dabei nicht umrühren. In eine große Kasserolle geben. Öl erhitzen und Paprika und Zwiebel dünsten. Zucchini und Champignons zugeben und 5 min garen, dann in die Kasserolle umfüllen. Linsen, Lorbeerblätter, Zitronensaft, Knoblauch, Rosmarin, Kreuzkümmel und Gemüsebrühe zugeben und alles gut mischen. Alles zum Kochen bringen und zugedeckt etwa 30 min garen, bis die Linsen gut sind. Mit Salz und Pfeffer würzen. Wer mag, kann noch geriebenen Käse darüber geben.