window.onload = function() {
	var links = document.getElementsByTagName("a");
	for (var a in links) {
		// make all links from .../pub (the attachment directory of our twiki) open in a new page
		if (links[a].href && links[a].href.match(/^https?:\/\/bpt.hpi.uni-potsdam.de\/pub\//)) {
			links[a].target = "_blank";
		}
	}
}