1. Rosenkohl putzen, waschen und in kochendem Salzwasser ca. 20 Minuten garen.
2. Fleisch waschen, trockentupfen und würfeln. Zwiebel schälen, hacken. Pilze putzen, waschen und evtl. zerkleinern. Thymian waschen und hacken.
3. Öl erhitzen. Fleisch darin unter Wenden ca. 5 Minuten anbraten. Mit Salz und Pfeffer würzen. Pilze und Zwiebel zugeben, alles 5 Minuten braten. Tomatenmark einrühren, kurz anschwitzen. Mit 1/2 1 Wasser und Sahne ablöschen, aufkochen. Brühe und Thymian einrühren und ca. 10 Minuten köcheln.
4. Nudeln in reichlich kochen-H dem Salzwasser 6-8 Minuten garen. Abtropfen lassen. Rosenkohl ebenfalls abtropfen lassen. Gulasch leicht binden, abschmecken. Alles anrichten.