werkkring der Nederlandsche marine / I.J.H. Gijsberti Hodenpijl, Luitenant-Kolonel der Genie Legioen van Eer / G.F. Gijsberti Hodenpijl
