deS högtidligen af konungen i Tisdag ».