Mine introduction: The descending device at the mine entrance.