Vervangen van duizenden PKI-overheidcertificaten begonnen