Many thanks to the moderators, and Merry Xmas to all!