 which didn't really help me because practically every Spaniard you meet is called Juan or Jose Garcia. But I used that a year later in 1984. I was working on a different book and I interviewed a former British Secret Intelligence Service officer who had served in Madrid after the war.