är också en hedersdag för Norges folk ».