Gulasch mit Knödel

Zutaten für das Gulasch:
500 g Rindergulasch
2 Zwiebeln, gehackt
2 Knoblauchzehen, gehackt
2 Paprikaschoten, gewürfelt

2 EL Paprikapulver (edelsüß)
1 EL Tomatenmark
500 ml Rinderbrühe
2 EL Mehl
Salz und Pfeffer nach Geschmack
Öl zum Braten