Deutsches Rechtswörterbuch (DRW): Hauptbenefizium