8 denne » till professor i grufvetenskap vid Tekniska högskolan utnämnt t. f. professorn O. G . Nordenström.