EU summit: What, exactly, was agreed Friday?