The Government Communications Headquarters (GCHQ), Cheltenham, England...