utgör sammanlagda aflöningen tor tjenstemännen vid amiralitetskrigsmanskassan 11,700 kr.