Rinderfilettopf Mit Chorizo, Paprika, Kirschtomaten Und Rosmarinkartoffeln