nedläggande i k. örlogsmannasällskapet på högtids dagen.