amiralitetskrigsmanskassans tjenstemän och betjente;