Geschichtliche Quellenschriften - Hartmann, Johannes Herausgeber