// --------------------------------------------------------------------------------
//
//	Showaddress
//
// --------------------------------------------------------------------------------
  function showaddress() {
    address = "inf";
    address += "o@fer";
    address += "ienh";
    address += "auscha";
    address += "rlot";
    address += "te.de";
    el = document.getElementById("emailaddress");
    el.innerHTML = address;
    el.href = "mailto:"+address;
  }