Kardos János (-1785): Digitalized works