werkställa de äbyggnader , som äro nödiga för en tidsenlig grufdrift.