Deutsches Rechtswörterbuch (DRW): Herkunft