static String getSnippetMD5(String id) ctex {
  S md5 = loadPage(new URL("http://tinybrain.de:8080/tb-int/get-md5.php?id=" + parseSnippetID(id)));
  if (isMD5(md5))
    ret md5;
  else
    throw fail("Couldn't get MD5 of snippet " + id + ": " + md5);
}