tjenst vid flottan och tillädes pension ur amiralitetskrigsmanskassan,