Petri György: Digitalized works