som på alla industriella områden kommit till så förmånlig användning , har icke minst beredt lättnader vid grufdriften.