sex bergmästare och sju grufveingeniörer.