Anker, C. J. Kommandørkaptein Henrik Gerners Dødsleie D. 26.-27. Dec. 1787. Personalhi 1899, 141-149.