af 6,400 rdr till arvoden åt underingeniörer vid mariningemörstaten.