Mash the cooked potatoes, add the egg, flour and knead the potato dough. Roll the dough into a sausage and cut into small gnocchi.
Heat a frying pan with vegetable oil and fry the onion and garlic, add the mushrooms and fry until done. Pour in the cream, add salt and pepper to taste and simmer for a few more minutes.
Pour water into a saucepan, add bay leaf and allspice, bring to a boil and cook the gnocchi for 6-7 minutes until done.
Place the finished gnocchi into the pan with the mushrooms and mix gently.