This post has moved to https://misual.life/2011/12/20/amsc-in-thisen-pe/.