Af de till marinen beviljade extra ordinarie anslagen kr.