var pref01 ="mailto:";
var prefname ="pentlehner";
var pref02 ="@";
var domain ="gv.mpg.de";
document.write('<a href=\"'+pref01+''+prefname+''+pref02+''+domain+'\">'+prefname+''+pref02+''+domain+'</a>');