Rotes Thai Curry, Mit Buntem Gemüseallerlei Und Basmatireis