bergmästare , grufin geniörer statistiska tabellkommissionen.