Otto Gumcelius , grufingeniör.