Rinderfilet auf Kirschtomaten-Gemüse