Rindfleisch in Kokosmilch mit rotem Curry, und Thai-Basilikum