påyrkade han dock , att nemligen arvodet åt direktören för mariningeniörcorpsen måtte bestämmas till 7000 rdr , eller 1000 rdr mera än hvad utskottet föreelagit.