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