Hager János (-1822): Digitalized works