Gnocchi Mit Rucola, Kirschtomaten Und Pinienkerne