Lectures on Proof Verification and Approximation Algorithms by Ernst Mayr & A. Steger