[860] Obereinfahrer, in Bayern soviel wie Bergwerksdirektor; vgl. Bergbeamte.
Adelung-1793: Obereinfahrer, der
Pierer-1857: Obereinfahrer