Translation Of Formal Information In Different Languages