static File loadDataSnippetToFile(S snippetID) ctex {
  File f = DiskSnippetCache_file(parseSnippetID(snippetID));
  try {
    URL url = new URL(dataSnippetLink(snippetID));
    System.err.println("Loading library: " + hideCredentials(url));
    try {
      loadBinaryPageToFile(openConnection(url), f);
    } catch {
      url = new URL("http://data.tinybrain.de/blobs/"
        + parseSnippetID(snippetID));
      loadBinaryPageToFile(openConnection(url), f);
    }
    // TODO: check if we hit the "LOADING" message
    System.err.println("Bytes loaded: " + fileSize(f));
  } catch e {
    printStackTrace(e);
    fail("Binary snippet #" + snippetID + " not found or not public");
  }
  return f;
}