another article regarding end of DST on 1940 August 13th.
I think you have an error in on eof your zones, where you write August 12