högtidligheterna den 4 Juli , och den norska flottanvar