Finally, our DNS provider fixed it (took them a while, sorry).
You may still see some residual issues due to caching, but things will get back to normal very soon.
You may still see some residual issues due to caching, but things will get back to normal very soon.