<!--
var ernst = "le.rohrer";
var domain = "bluewin.ch";
document.write('<a href="mailto:' + ernst +'@' + domain + '">');
document.write(ernst +'@' + domain + '</a>');
//-->
