function email(url) {
  var server="mpip-mainz.mpg.de"
  src=url+'@'+server;
  window.location.href ="mailto:"+src; 
}