högtidlighet , nemligen barns festen i Rosenborgs Havé,