* ) Riddarhoimens gamla namn.