departementets afdelning för grufstatistik och teknologi.