Schrikkelseconde verdwijnt na 15 jaar: 'Het kan computernetwerken platleggen'