[186] Berghauptmann, s. Bergbehörden.
Adelung-1793: Bèrghauptmann, der
Meyers-1905: Berghauptmann
Pierer-1857: Berghauptmann