"that the Germans first engineered Funnybot,"