Manual descriptivo e histórico de la ciudad de San Sebastián : con un apéndice sobre los baños d