Deutsches Rechtswörterbuch (DRW): (Peinmeister)