Holbergsstoden i Bergen den 3 Dec.