stora malm- och järngrufvor ha upphört med sin verksamhet.