ton kol erhållas öfver 10 tusen kubikfot.