The Teufelsberg and western electronic intelligence gathering in Cold War Berlin. (2019)