function fenster_auf(url,titel,params) {
  window.open(url,titel,params);
}