Die Brühe aufkochen. Zwiebeln und Knoblauch fein hacken, dazu geben und 10 Minuten köcheln. Kartoffeln, Möhren, Sellerie in Scheiben schneiden und zufügen. Mit Thymian, Piment und Muskat würzen. 7 Minuten köcheln lassen. Weißkohl fein schneiden, dazugeben und 6 Minuten köcheln lassen. Öl erhitzen, darin Pilze 3 Minuten braten. überbrühte, abgezogene Tomaten würfeln, mit Pilze zur Suppe geben, weitere 3 Minuten köcheln lassen. Mit Salz und Pfeffer abschmecken.