Maniok-Gnocchi in Tomatensauce, mit Käse gratiniert