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 Klaus Bussmann edited by Davesh Soneji. edited by Joachim Homann