Holy night, peaceful night: an old Christmas carol