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