Nemzeti Színház, Budapest: Digitalizált művek