[graph-tool] Keyserver OK?

I'm having problems accessing the keyfile for the Debian/Ubuntu packages via the link on the download page: http://pgp.skewed.de:11371/pks/lookup?op=get&search=0x612DEFB798507F25 gets me an "unable to connect" page in Firefox. I can ping pgp.skewed.de fine. Just me? (I'm travelling at the moment, I don't think the internet here is blocking any ports but not sure how to tell for sure). Can the keyfile be obtained through any other public keyservers? (I did try searching the PGP Global Directory for 98507F25 but no joy). Thanks for any info/help Tim