Deutsches Rechtswörterbuch (DRW): Halsgerichtseinrichtung