I did. Still nothing. Then a few minutes later it started working!
I switched on mobile data, shouldn’t make any difference (?), maybe it was a coincidence.
Another thing, it messed up my contacts… Half of them are gone. No contact names in the call list. Can’t call people from the contacts list. A weird, slightly annoying detail.