„Die Einsatzleitung übernehmen gemeinsam der örtliche Bergwerksdirektor, das zuständige Bergamt, der ''Oberführer'' der Grubenwehr und ein Experte der Zentralstelle für das Grubenrettungswesen“.<ref>o. A. [schu.]: ''Grubenwehr.'' In: ''Aktuelles Lexikon 1974-2000'', München: DIZ 2000 [1998], zitiert nach [https://www.dwds.de/?q=Oberf%C3%BChrer ''DWDS''].</ref>
einem Führer übergeordneter Führer