“We made a deal today!” said Juncker and Trump. But what was actually agreed?