mycken högtidlighet af konungen.