Deutsches Rechtswörterbuch (DRW): Hauptvogt