Deutsches Rechtswörterbuch (DRW): achtzigste