It doesn't answer your question at all but you might find this interesting: https://hackaday.com/2018/03/09/europe-loses-six-minutes-due-to-sagging-frequency-an

It doesn't answer your question at all but you might find this interesting: https://hackaday.com/2018/03/09/europe-loses-six-minutes-due-to-sagging-frequency-and-international-politics/ https://hackaday.com/2018/03/09/europe-loses-six-minutes-due...