Redirect to <a href='http://ca61highs.de?'>http://ca61highs.de?</a>