Vid behandlingen af marinbudgeten i stortinget hardet