Deutsches Rechtswörterbuch (DRW): Pauliner