Deutsches Rechtswörterbuch (DRW): Einhebung