pilz gnocchi