* ) Riddarholmens gamla namn.