nedläggande i K. Örlogsmannasällskapet på högtidsdagen.