november , öfwer hwilken högtidligheten