Állami Bábszínház, Budapest: Digitalizált művek