static File loadDataSnippetToFile(S snippetID) ctex {
  File f = DiskSnippetCache_file(parseSnippetID(snippetID));
  File ftemp = new File(f2s(f) + "_temp");
  try {
    URL url = new URL("http://eyeocr.sourceforge.net/filestore/filestore.php?cmd=serve&file=blob_"
      + parseSnippetID(snippetID) + "&contentType=application/binary");
    System.err.println("Loading library: " + url);
    try {
      loadBinaryPageToFile(url.openConnection(), ftemp);
    } catch {
      ftemp.delete();
    }
    
    if (fileSize(ftemp) == 0) {
      url = new URL("http://data.tinybrain.de/blobs/"
        + parseSnippetID(snippetID));
      System.err.println("Loading library: " + url);
      loadBinaryPageToFile(url.openConnection(), ftemp);
    }
    f.delete();
    ftemp.renameTo(f);
    System.err.println("Bytes loaded: " + fileSize(f));
  } catch (FileNotFoundException e) {
    throw new IOException("Binary snippet #" + snippetID + " not found or not public");
  }
  return f;
}