edited by Jens Hoffmann. edited by Jens Hoffmann edited by Banesh Hoffmann edited by Eric Hoffman edited by Kenneth Hoffman edited by Felix Budelmann. edited by Julius Wiedemann. edited by Peter E. Pormann. edited by Robert Bruegmann. edited by Jim Heimann