badinrättningen på Riddarholmen , dervrden