christoph herrmann (editor)