öfriga offentliga handlingar rörande bergshandteringen in.