— Holbergsstoden i Bergen.