Deutsches Rechtswörterbuch (DRW): Lokalhauptrecht