någon nationel högtidsdag i Norge.