— Norges “ Höiesteret “ har i dessada