Brokkoli, Karotten und Pilze in Kokos-Curry-Sauce