This publication is now on Eric Zhang Chen's homepage.