' borde högtidlighållas än konungensnamnsdag