Merry Christmas, everyone. Or, as we say here in America: “Happy Holidays.” Best wishes for a healthy and safe holiday season and a joyful and prosperous new year. -Ted