norska marinens mekaniska verkstäder på Horten,