I've updated the relevant DNS entries. The original ticket got deleted by accident. This bug can be closed.
I've updated the relevant DNS entries. The original ticket got deleted by accident. This bug can be closed.