Exploring the relationship between crypto AG and the CIA in the use of rigged encryption machines for espionage in Brazil. Issue 1 (2nd January 2023)