utan 4 november skullo vara Norges rätta festdag , ochderför