Elasticsearch not working anymore. artifacts.elastic.co is unreachable

Hi :)

KOHA_ELASTICSEARCH=1 SYNC_REPO=/home/datumoj/dev/koha vagrant up

[...]
TASK [kohadevbox : Release tools | CPAN dependencies] **************************
changed: [stretch] => (item=File::FindLib)
changed: [stretch] => (item=REST::Client)

TASK [kohadevbox : Release tools | Clone repository] ***************************
changed: [stretch]

TASK [kohadevbox : Elasticsearch 5.x | Add Elasticsearch repository (key)] *****
fatal: [stretch]: FAILED! => {"changed": false, "msg": "Failed to connect to artifacts.elastic.co at port 443: [Errno -3] Temporary failure in name resolution", "status": -1, "url": "https://artifacts.elastic.co/GPG-KEY-elasticsearch"}

RUNNING HANDLER [kohadevbox : restart apache] **********************************

RUNNING HANDLER [kohadevbox : reload ssh] **************************************

PLAY RECAP *********************************************************************
stretch                    : ok=44   changed=40   unreachable=0    failed=1    skipped=12   rescued=0    ignored=0   

Ansible failed to complete successfully. Any error output should be
visible above. Please fix these errors and try again.