[828] Semmelkoch, eine gebackene Milchspeise, wozu man geriebene Semmel, Milch, Eier u. etwas Gewürz nimmt, die Masse wird dann in einer Form od. Pfanne gebacken.
Adelung-1793: Semmelkoch, der