Höiesteret har den 22december