Ælvespeilet stenger på ubestemt tid, men Ibsenhuset fortsetter som før