Czechoslovak spy worked as lead editor for BBC World Service - Prague ...