Habermann János (19. sz.-): Digitalized works