Deutsches Rechtswörterbuch (DRW): Korrektionsmittel