sS mechListURL(S name) {
  ret "http://butter.botcompany.de:8080/mech/list/" + urlencode(name);
}