har för öfrigt debatten om marinministeriets budget här wäckt mycken uppmärksamhet.