¿ es San Cristobal de la Vega el mismo municipio que San Cristobal de Segovia ? . Lo pregunto porque este último no aparece en Pueblos de España ¿ cual es el gentilicio ? agradecido.