Ni este, ni el «señor Pinder», figuran en el Registro Oficial de Defunciones de Gibraltar.