Geannoteerde agenda voor de Europese Raad van 15 en 16 oktober 2020