Deutsches Rechtswörterbuch (DRW): (Hochfreihalszeit)