“Việc khai thác quặng là một công việc thủ công vô cùng nhọc nhằn: một ngày lao động của thợ mỏ chỉ tương ứng với việc đào tiến đường hầm thêm một xen-ti-mét.”