ГЛАВУГОЛЬ — значение аббревиатуры

Значение аббревиатуры Главуголь. В нашем словаре - 3 определения Главуголь. Как расшифровывается сокращение Главуголь?

Главное управление угольной промышленности

Главный угольный комитет

Центральное управление (правление) каменноугольной и сланцевой промышленности