Parse error: syntax error, unexpected character 0x01 in /misc/HomePages/UserHomePages/i57/beckert/pub/MIP_Theorem_Proving_DFG_Kolloquium94_German.pdf on line 118