Hartzenbusch, Juan Eugenio / Gutenberg Edition