Jahr 2017 begann mit einer Zusatzsekunde