Added another mirror as the other one no longer seems to host the file.
Authored by: henca 2006-11-04
Parent: [r132]
Child: [r134]
