Trying to restore SQL file from mysqldump, results in syntax error
I got 2 comments that hinted me that:


This problem might not be reproducible again if I do a second mysqldump.
The copy of the file from one place to another might have corrupted the file.


So then to ensure (1) was not the case, I tried to mysqldump again, and to make sure (2) didn't happen, I compiled the file before transferring it to another computer (so that if it gets corrupted, at least I would know when trying to decompress it).

The result was: success. It works now. So I suspect it was a glitch in the matrix.
Thanks for all the people that helped.