örn att den 17 maj är Norges frihetsdag,