skulle afsjungas på den högtidliga dagen.