function externalLinks() {
  $$("a[rel=external]").each(function(anchor) { 
    anchor.target = "_blank";
    if (anchor.title.length == 0) {
      anchor.title = "Öffnet in neuem Fenster".t()
    }
  });
}