Állami Bábszínház, Budapest: Digitalized works