utnämnt och förorduat bergsingoniören dr P.