function poscht(user) {
domain = 'ruediwidmer.ch';
status="mailto:" + user + "@" + domain;
locationstring = "mailto:" + user + "@" + domain;
window.location = locationstring;
}