Deutsches Rechtswörterbuch (DRW): Marterpein