Lo cierto es que no estoy al tanto de los detalles. Es un tema que podría conocer a fondo pero, lamentablemente, mi abuelo falleció cuando yo era un crío y estos asuntos no eran de interés infantil. Por otro lado, sé que en casa de una hermana de mi madre hay documentación de mi abuelo, pero nunca me ha parecido prudente pedírsela. Y pese a ello, tampoco es preceptivo que haya algo relativo a este asunto.