Stav dette: The mining industry :