function mail_to(mail_ID)
{ ID = mail_ID;
mail_address = 'mailto:' + ID + '@ph.tum.de';
window.self.location.href=mail_address;
}