<!--
var username = "eugen.kovac";
var hostname = "uni-bonn.de";
var linktext = username + "(at)" + hostname;
document.write("<a hre" + "f=ma" + "ilto:" + username + "@" + hostname + ">" + linktext + "</a>")
//-->
