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