Då k. dramatiska teatern i Arsenalen,