The execution was carried out the same day as that of José Estelle Key, a British citizen and Gibraltar resident convicted of spying for Germany and the pair were two of 16 spies executed by Britain during the war.