gamla riddarhussalen , med sina nu renoverade,