Spätzle mit Chinakohl und Kochschinken, überbacken

• 250 g Spätzle
• 1 Zwiebel(n)
• evtl. Chilischote(n)
• 400 g Chinakohl
• 2 EL Öl
• 1 TL, gehäuft Gemüsebrühe
• 20 g Mehl
• 20 g Butter
• 100 ml Milch
• 100 ml Wasser
• etwas Salz und Pfeffer
• 60 g Käse, geriebener
• 1 Handvoll Käse, geriebener
• 1 Handvoll Semmelbrösel
• etwas Butter für die Form