Miskólczi István (18. sz.-): Digitalized works