Végh János (1817-1918): Digitalized works