Peel, rinse and finely grate the potatoes cooked in their skins. Mix eggs, salt, flour, chopped mint and finely grated orange peel into the grated potatoes. We shape the dough into gnocchi with a tablespoon, which we place on a 40 mm high greased perforated GN and cook on the program listed above. After cooking, brush with olive oil.