Tajnay Mihály (-1760 után): Digitalized works