KONGL STORA TEATERN .)