[870] Der Bèrghauptmann, des -es, plur. die -leute, der vornemste Bediente in den Bergwerken, der des Landesherren Stelle vertritt, und gemeiniglich noch den Oberberghauptmann über sich hat. Auf dem Harze sagt man im Plural die Berghauptmänner. Daher die Berghauptmannschaft, plur. die -en, die Würde eines Berghauptmannes.