Biographies and Bodies of Pupils of the Amsterdam Maritime Institute, 1792–1943. RDJHSS. 2021;6:1-13. doi:10.1163/24523666-bja10019