Glückauf-Mining-Reporter : international journal for mining, tunnelling, equipment and technology