Note: although the following agents often used several different code names, only those mentioned in the text are given here.
