stiftades AmiralitetskrigsmanskaSsan , en pensionsfond.