gnocchi mit-pilzen