That ‘dude’ is the UK’s GCHQ. Of Bletchley Park fame.