FILE PHOTO: A trader works at Frankfurt’s stock exchange in Frankfurt, Germany, October 17, 2019. REUTERS/Ralph Orlowski