Die Zwiebeln und den Knoblauch würfeln, ebenso die Paprikaschoten.
Das Öl in einem Topf erhitzen und dann das Gulasch, die Zwiebeln und den Knoblauch dazugeben und
anbraten. Danach den Paprika und das Gemüse zufügen. Mit der Fleischbrühe auffüllen und den Ketchup
dazutun. Mit Salz und Pfeffer abschmecken. Das Ganze dann 30 bis 45 Minuten garen lassen. Zum
Schluss noch einmal abschmecken.