Freigegebene tschechische Archive enthuelten, dass Ben Barka von 1961 bis zu seinem Verschwinden mit einem Geheimdienst des Ostblocks zusammenarbeitete. Wie lautete sein Deckname in den Akten dieses Dienstes?