Die Dateien .devel wurden letztendlich nicht weiterentwickelt (stattdessen
die in ../) , und sind hier nur noch aus historischen Gruenden enthalten 
aber kuenftig nicht mehr im Install-.iso
