innefattande pensionering af löntagare å amiralitetskrigsmanskassans stat.