utvecklat sig i en sådan grad , att årliga produktionen från denna enda bassin öfverstiger 15 millioner tons stenkol , d. v. s. ärnästan