/*
// holt sich (kopiert) eine Datei von einem anderen HTTP Server
*/
function copy_from( $source, $dest ) {

     $ch = curl_init($source);
     $zieldatei = fopen($dest , "w");
     curl_setopt($ch, CURLOPT_FILE, $zieldatei);
     curl_setopt($ch, CURLOPT_TIMEOUT, 3600);
     curl_exec($ch);
     fclose($zieldatei);
     
}