högtidsstund , då det för Eders Kongl.