This page has moved to
www.felixschlag.com/proofs.html
You will be taken there automatically.