(hora estándar del este de los Estados Unidos) del 1º de diciembre de 1993, a