Deutsches Rechtswörterbuch (DRW): Marterherr