Eörsi István (1931-2005): Digitalized works