hauptmannens , grufveingeniörens , bergsvärdiens ochkonstmästarens