Hauptquelle · Grimm (DWB, 1854–1961)
scharfrichterei f.
scharfrichterei , f. 1 1) gewerbe, amt des scharfrichters; in bildlicher anwendung: chor. was auch sollte sonst der treffliche ( Immermann ) vornehmen, hier in dieser abgeschiedenheit? publicum. wenn ich's gerade sagen soll, scharfrichterei ( in bezug auf Immermanns Cardenio ). Platen 279 b . 2 2) die wohnung des scharfrichters.