Gresham Technologies' acquisition of Electra Information Sys