Mirror of ddekit from http://os.inf.tu-dresden.de/ddekit/