function druecktaste()
 {
  var typ; typ=navigator.appName;
  if (typ=="Microsoft Internet Explorer")
  {
    window.location="kernenergie.htm";
  }
 }

function drueckrechts()
 {
  var typ; typ=navigator.appName;
  if (typ=="Microsoft Internet Explorer")
  {
   if (event.button==2)
    {window.location="kernenergie.htm";}
   else
    {window.location="kernenergie.htm";}
  }
 }

document.onmousedown=drueckrechts;
document.onkeypress=druecktaste