pension af amiralitetskrigsmanskassan ; 1847 den 6 Dec.