för åtskilliga tjenstemän vid mariningeniörsstaten.