text: It is now part of a publishing company, Mining Communications, which also produces Mining Magazine, World Mining Stocks, Mining Environment Management, Coal Equipment Buyer, GeoDrilling International and World Tunnelling/Trenchless World .