Domain name not found. Verify the Server Address in the connection file.

Which connection file are you using? It’s possible your university library’s server address changed so you might check with a librarian and/or the IT department of your institution.