This paper is located at hoffmann.html