som förut nämts , den extra ordinarie marinbudgeten , flutande ä ben stora summan af 11 , 925 , 400 kr.