no miners at work anymore in Gruve 3