Riksdagen afslutade i tisdags förhandlingen af marinbudgeten och antog de af utskottet framställdaändringarne