Det Norske Akademis Ordbok

berghauptmann

berghauptmann 
substantiv
ETYMOLOGI
fra tysk Berghauptmann, sammensatt av Berg 'berg' og Hauptmann 'hovedmann, leder'
BETYDNING OG BRUK
om eldre forhold
 høyere embetsmann i bergvesenet
SITAT
  • som om han paaeengang berghauptmand var og stiger
     (Henrik Wergeland Samlede Skrifter I 86)