wilkoren för stenkols bearbetande och tillgodogörande.