i Bergen , benämndt “ Kongehallen ."