gnocchi (uit de koeling, kooktijd 2-3 minuten)