[664] Schachtmeister, bei Erdarbeiten der sämtlichen Arbeitern oder einer Abteilung derselben vorgesetzte Werkführer.
Adelung-1793: Schachtmeister, der
Pierer-1857: Schachtmeister