Deutsches Rechtswörterbuch (DRW): Stadthauptmannschaft