Die Zwiebel für die Sauce schälen und fein hacken.

Ein kleines Stück Butter in einem Topf zerlassen und die Zwiebel darin glasig dünsten.

Mit der Milch ablöschen, das Lorbeerblatt dazu geben und aufkochen. Beiseitestellen.

Den Brokkoli in Rößchen teilen und in einem Topf mit gesalzenem Wasser nach Geschmack gar kochen.

Den Schinken würfeln und in einer Pfanne mit zerlassener Butter anbraten.

Die Gnocchi zu dem Kochschinken in die Pfanne geben und goldbraun braten.

In der Zwischenzeit ein ordentliches Stück Butter in einem Topf zerlassen und das Mehl darin anschwitzen.

Mit der Milch aufgießen und das Lorbeerblatt entfernen.

Nun die Sauce bei niedriger Hitze unter ständigem Rühren köcheln und eindicken lassen.

Den Brokkoli abgießen und zu den Gnocchi in die Pfanne geben.

Den Käse in die Milch rühren und mit dem Senf, Salz, Pfeffer und Muskatnuss abschmecken.

Sollte die Sauce zu dick werden, einfach etwas Milch zugießen.

Zum Schluss die Sauce in die Pfanne geben, gut vermengen und servieren.