Title: Wire ropes in mines