Deutsches Rechtswörterbuch (DRW): Hinterführung