(de la localidad vasca de San Sebastián).