Промышленность и техника: энциклопедия промышленных знаний : полный пер. с 9-го нем. изд.. Т. 5, Горное дело и металлургия