Décalage horaire à Porto, Heure actuelle et d'été | Où et Quand