I wish you all, known and unknown readers, a happy new year. Feel free to add comments so that you are less unknown ;-)