högtidligen i konungens närwaro den 31 Juli.