Grünkohl mit Zwiebeln, Linsen und Pilzen