Legen Sie Rindfleisch, Kartoffeln, Karotten, Zwiebeln und Knoblauch in einen 6-qt-Slow-Cooker. Rinderbrühe, Tomatenmark, Worcestershire, Thymian, Rosmarin, Paprika, Kümmel und Lorbeerblätter unterrühren, bis alles gut vermischt ist. Mit Salz und Pfeffer abschmecken. Abdecken und 7-8 Stunden bei schwacher Hitze oder 3-4 Stunden bei hoher Hitze kochen.