på Kongsberg beskrifves såsom mycket högtidligt.