det var ju i denna teater Kung Karls jagt första gången kommit till utförande.