edited by Thomas Edelmann edited by Thomas Kempner edited by Thomas Keymer. edited by Thomas Williams edited by Julius Wiedemann edited by Thomas M. Allen. edited by Jim Heimann edited by Ira Stehmann edited by Markus Stegmann edited by Thomas Baldwin.