Das Rindfleisch in einen nicht metallischen Behälter legen und alle Zutaten für die Marinade dazugeben.
Gründlich verrühren. Den Deckel schliessen und mindestens 12 Stunden im Kühlschrank ziehen lassen.
Von Zeit zu Zeit umrühren.
Das Öl im Wok erhitzen. Das Rindfleisch abtropfen lassen und auf Haushaltpapier trocknen lassen. Die
restliche Marinade beiseite stellen. Das Fleisch in jeweils kleinen Mengen im heissen Öl goldbraun braten.
Wenn das gesamte Fleisch gebraten ist, die restliche Marinade, den Rotwein und das Wasser hinzugeben.
Bei geschlossenem Deckel 2 bis 2 1/2 Stunden kochen lassen. Von Zeit zu Zeit umrühren.
Wenn das Fleisch zart ist, die Pilze und die gegebenenfalls halbierten, abgetropften Artischockenherzen
hineingeben, weitere 30 Minuten garen lassen.
Den Deckel abnehmen, falls die Sauce nicht sämig genug ist, noch 1-2
Minuten weiter garen lassen, damit sie eindickt.