17 maj , Norges stora nationala högtidsdag,