https://yro.slashdot.org/story/18/03/11/0146216/are-the-alternatives-even-worse-than-daylight-saving-time http://www.leapsecond.com/time-nuts.htm