Offenbar hatten die europäischen Regierungen vergeblich bei Trump dafür geworben, Druck auf Putin zu machen.