danish mirror does not work - how to connect to another mirror???

Hi there The danish mirror of php.net does not work at the moment. How do you you work around the (now NOT so nice) feature that redirects you based upon your IP number? I am unable to read any of the online documentation since I am constantly being redirected to the dansih mirror :( I am also unable to download a copy since the table on this page is empty: http://www.php.net/download-docs.php TIA TvE