So since the battery went dead flat for a few months (as due to the pandemic I was not using it often) my Hyundai i40 station wagon from 2013, bought in Portugal, decided to go funny with the clock settings. Regardless of what I did, the clock (which was supposed to be always kept synchronized via the GPS), was always "off" by 1 hour.