کاربلد و پُرافتخار در پشت صحنه؛ آنتونیو پینتوس و نهمین فینال لیگ قهرمانان اروپا