De Guindos lamenta el fallecimiento de Manuel Marín, "un gran europeísta"