Geannoteerde agenda van de extra Europese Raad van 17 en 18 juli 2020