örlogsmannasällskapets högtidsdag den 15 November 1878.