industrial and mining establishment