Большая биографическая энциклопедия
Гравольд, Михаил Николаевич
1852 г. генерал-майор Корпуса корабельных инженеров.
{Половцов}