för norsk * marinens verkstäder innehade hen från och med 1847.