Rindergulasch mit Semmelknödel, Rotkohl und feiner Waldpilz-Paprikasoße. Deftiges Essen aus Sachsen