The EU market before 1 January 2020 (Amendment) | GovLens