Parse error: syntax error, unexpected identifier "�" in /misc/HomePages/UserHomePages/i57/beckert/pub/isam2016.pdf on line 56