Deutsches Rechtswörterbuch (DRW): Henkersinstrument