[6] Doppelhäuer (Vollhäuer), s. Grubenbetrieb.
Adelung-1793: Doppelhäuer, der
Meyers-1905: Doppelhäuer
Pierer-1857: Doppelhäuer