Petrás Pál (1893-): Digitalized works