Deutsches Rechtswörterbuch (DRW): Amtshauptmannschaft