De leiders van de Europese Unie en het Verenigd Koninkrijk schudden handen op een dealovereenkomst.