gernot tragler (editor)