edited by Banesh Hoffmann edited by Jens Hoffmann edited by Jens Hoffmann. edited by Kenneth Hoffman edited by Eric Hoffman edited by Ulrich Pohlmann edited by Sabine Fehlemann edited by Davesh Soneji. edited by Joachim Homann edited by Klaus Bussmann