har der bvgts en minbåt för norska marinens räkning.