Schnecken in Tomatensoße und Knoblauch, mit Käse überbacken