Die Radebergeroper, ... auch bekannt als Semperoper