Mayr Péter (1688-1753): Digitalized works