att Eidsvolds bruk , tillhörande Öfverstlöjtnant Knudsen , öfvergått till svenska ägareför