Unplanned service interruption (resolved)
Published at Aug. 7, 2011Due to an unexpected problem with one of our DNS-servers, no files were available
for download during a period of approximately twelve hours this Friday (2011-08-05).
The issue has since been resolved and everything should be working as per usual.
Please excuse any inconvenience caused by this issue.