A reintrodução do "horário de verão" no Brasil foi consequência da: