Das Fleisch in kleine Würfel schneiden. Die Zwiebeln und den Paprika klein schneiden. Das Fleisch in einem großen Topf in etwas Schmalz anbraten. Die Zwiebeln mit dazugeben und auch mit dünsten. Die Knoblauchzehen mit etwas Salz zerdrücken und auch dazu geben. Dann den Paprika dazugeben und noch 5 Minuten mit dünsten. Mit reichlich Wasser ablöschen. Das ganze sollte nun mindesten eine gute Stunde bei geringer Hitze kochen. Nun die Gewürze und den Ketchup dazugeben. Nochmals eine halbe Stunde kochen lassen. Eventuell mit Wasser auffüllen. Eine Zwiebel in etwas Butter andünsten, die Pilze evtl. noch klein schneiden und zu den Zwiebeln geben. Mit Mehl bestreuen. Das nun in die Suppe rühren. Nochmals kurz abschmecken und mit frischem Weißbrot servieren.