Fragmentos del artículo dedicado a Donostia-San Sebastián en el «Diccionario Geográfico-Histórico de España», de la Real Academia de la Historia, publicado en 1802