edited by Jens Hoffmann edited by Jens Hoffmann. edited by Banesh Hoffmann edited by Eric Hoffman edited by Kenneth Hoffman edited by Klaus Bussmann convoluted by Jens Hoffmann edited by Jim Heimann edited by Ira Stehmann edited by John Ittmann