— Holbergsstodens attäckning i Bergen.