Change of Domain fails

Good morning,

as I changed the domain from dev to live I also wanted to adjust this to get autoupdates. But: despite following the instructions given it fails. It still shows the dev-URL, hence autoupdates for the live site fail. I revoked access at Envato for both VillaThemes as well as VillaThemes Update Key. None is being able to revive. All I get is a short flashing when connection to Envato is trying to establish and the modal window closes without any further feedback or possibility to enter credentials.

kindly advise how to proceed.

best regards Stefan