Deutsches Rechtswörterbuch (DRW): Haupturheber