gruvindustri
noun
mining industry