East German espionage raised GDP by 7.4% in late 1980s, study finds