Parse error: syntax error, unexpected character 0x1D, expecting end of file in /misc/HomePages/UserHomePages/i57/beckert/pub/leanEA_TR.pdf on line 958