[608] Bergmännchen, 1) so v.w. Berggeist; 2) (Bergb.), so v.w. Spreizlinge.
Adelung-1793: Bergmännchen, das
Meyers-1905: Bergmännchen
Vollmer-1874: Bergmännchen