Rinderfilet mit Sesamgnocchi und rotem Thai-Curry-Gemüse