Rindfleisch in Kokosmilch mit grünem Curry, Gemüse und Thai-Basilikum