Das Rindfleisch würfeln (2,5 x 2,5 cm) und in einer großen Schüssel mit 3 Esslöffeln Pflanzenöl vermengen.
Knoblauch, Zwiebeln und Ingwer schälen und grob hacken.
Möhren und Butternut-Kürbis schälen, die Möhren in 1,5 cm breite Scheiben schneiden, den Kürbis entkernen und würfeln (2 x 2 cm).
Grünkohl und junge Kartoffeln waschen.
Den Dutch Oven auf den GBS-Grillrost setzen und etwa 10 Minuten vorheizen.
Die geölten Rindfleischwürfel in den Dutch Oven geben, mit Salz und Pfeffer würzen und etwa 3 – 5 Minuten braten, bis sie leicht gebräunt sind, dabei gelegentlich wenden.
Fleisch aus dem Dutch Oven nehmen und beiseitestellen.
3 Esslöffel Öl in den Dutch Oven gießen, anschließend Zwiebeln und Knoblauch hineingeben.
Sobald die Zwiebeln und der Knoblauch glasig sind, Rindfleischwürfel und Tomatenmark hinzugeben und alles mit Mehl bestreuen.
Etwa 2 – 4 Minuten garen, dann mit 1/3 der Rinderbrühe ablöschen und kochen lassen, bis die Flüssigkeit fast verdampft ist.
Restliche Brühe, passierte Tomaten, Kräuter der Provence und Lorbeerblatt, Butternut-Kürbis, Möhren, Grünkohl und junge Kartoffeln hinzugeben und auf indirekte Hitze umstellen.
Den Eintopf salzen und pfeffern und zugedeckt etwa 2 – 2 1/2 Stunden kochen lassen.
In der Zwischenzeit den Hot Toddy zubereiten: Die Flüssigkeiten in einen Topf geben, zudecken und bei mittlerer Hitze zum Köcheln bringen.
Geriebenen Ingwer, Nelken und Zimt hinzugeben und zugedeckt weitere 5 Minuten köcheln lassen.
Von der Hitze nehmen und 5 Minuten zugedeckt ziehen lassen.
In jede Tasse einen Spritzer Zitronensaft geben.
Für den Extrakick nach Belieben eine Prise Kurkuma und Cayenne-Pfeffer hinzugeben.
Zuletzt den Eintopf mit gehackter Petersilie bestreuen und anschließend zusammen mit dem Hot Toddy servieren.