Den stora kejserliga teatern i Konstantinopel,