so ends christmas in july