[859] Oberbergamt, Oberberghauptmann etc., s. Bergbeamte.
Adelung-1793: Oberbergamt, das
Pierer-1857: Oberbergamt