Text this: Research and technology in the former German DemocraticRepublic