det hola hvilade den angenämaste högtidsstämning.