som wid gränstraktaten as 1826 tillföll Norge.