[560] Der Obereinfahrer, des -s, plur. ut nom. sing. in dem Bergbaue, der oberste Einfahrer, S. Einfahrer.
Meyers-1905: Obereinfahrer
Pierer-1857: Obereinfahrer