¿Debemos mantener la hora de Alemania o cambiar a la de Portugal?