Milch mit dem Salz aufkochen. Grieß beigeben, unter gelegentlichem Rühren während ca. 7 Minuten
köcheln, würzen, 10 Minuten auskühlen. Eigelb und Basilikum dazumischen. Mit zwei Teelöffeln Gnocchi
formen.
Gemüsebouillon aufkochen. Tomatenwürfeli und Gnocchi beigeben und während 3 Minuten ziehen lassen.