In a deal with Trump, Europe gets an elusive agreement. But everyone’s a little annoyed