Der Berghauptmann
, des -es, plur. die -leute, der vornehmste 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. [
869-870]
