en högtidlighet med anledning af kejsarens kröningsdag.