Otto Gumcelius , grufingeniör,