K 10 svn:author V 6 marcus K 8 svn:date V 27 2002-11-12T18:10:53.000000Z K 7 svn:log V 115 The MASTER_SITE's DNS has changed. Make this port fetchable once more. Submitted by: Miklos END