Eier ca. 9 Minuten hart kochen, abschrecken. Brokkoli putzen, waschen in Röschen teilen. In kochendem Salzwasser ca. 5 Minuten garen. Zwiebel schälen, würfeln. Pilze putzen, halbieren. Brokkoli abgießen. Fett erhitzen. Pilze und Zwiebel darin unter Wenden anbraten. Mehl zugeben und an-schwitzen. Mit 1/4 I Wasser und Milch ablöschen, aufkochen. Brühe einrühren und ca. 5 Minuten köcheln lassen. Eier pellen, achteln. Senf in die Soße rühren, abschmecken. Brokkoli und Eier unterheben. Anrichten, garnieren. Dazu schmeckt Reis.
