dessutom en årlig pension från Amiralitetskrigsmanskassan af 600 kr.