[125] Doppelhäuer (Vollhäuer), in Erzbergwerken erfahrene und geschickte Bergleute, die selbständige Arbeiten ausführen.
Adelung-1793: Doppelhäuer, der
Lueger-1904: Doppelhäuer
Pierer-1857: Doppelhäuer