re #3, meinst Du sowas ?

https://www.bergbauhistorie.ruhr/montangeschi...

 Förderverein Bergbauhistorischer Stätten Ruhrrevier e.V.

http://www.übertage-untertage.de/Bergbaulexi...

 Das Bergbaulexikon - Zur besseren Verständigung unserer Texte...

Bergmännische und Geologische Fachbegriffe ...

beide bieten identisch :

 ... auskohlen, kohlen

einen aufgeschlossenen Flözabschnitt abbauen ...

https://westfalen.museum-digital.de/object/23525

 Deutsches Bergbau-Museum Bochum – Leibniz-Forschungsmuseum für Georessourcen Fotosammlung Stereofotografien [120160023401]

Auskohlen des Flözes in einer Abbaustrecke, Bergjungmann und Meisterhauer

 ... Beschreibung

 Bergjungmann und Meisterhauer gewinnen im Streb kniend Kohle aus einem Flöz; der Bergjungmann schaufelt die gelöste Kohle während der Meisterhauer mit dem Abbauhammer die Kohle löst ...

https://www.mdr.de/nachrichten/deutschland/wi...

 ... Warum fördern wir keine eigene Steinkohle?

Aus Kostengründen. In Ostdeutschland hat schon die DDR die letzte Steinkohleförderung eingestellt. Die Vorkommen waren schlicht ausgekohlt und in Westdeutschland war die Steinkohleförderung ein großes Verlustgeschäft. ...

Danke, aber ich meine keinen Beleg für den Eintrag an sich (wird ja wieder aus dem Springer-Geotechnik-Wörterbuch sein, kann vielleicht auch einfach weg, da "worked out" offenbar nicht nur für Kohlebergbau verwendet wird), sondern Bestätigung, dass "ausgekohlt" nur im Bergbaukontext vorkommt und daher eine entsprechende Markierung braucht. Damit nicht ein EN-DE-Übersetzer "worked-out example" mit "ausgekohltes Beispiel" übersetzen will, da es keinen anderen Eintrag für "worked out" bei LEO gibt.