sin högtidsdag i Gjörckeska badanstalten vid Riddarholmen.