Hörndli-gratin mit tomaten

Zutaten

• 500 G Hörndli
• 3 Tomaten
• 200 G geriebener Käse
• 80 G Schinkenwürfeli
• 1 teeloffel Paprika scharf
• 1 teeloffel Ketchup
• 2 Eier
• 1 dl Milch
• etwas Salz
• Pfeffer