Гавеловский Ник. Григорьев.

лектор горного и маркшейдерск. искусства в Горном корпусе XIX в. {Венгеров}