I och vid Haltdalens stavkyrka i Norge samlades Armfeldts soldater på julafton 1718 för att helga högtiden. Vilken psalm lär man ha avslutat julottan med?