Deutsches Rechtswörterbuch (DRW): (gaudingsfrei)