Den nya hofteatern i Dresden.