karl franz dörner (editor)