<!--
var Monatsname = ["Jan.", "Feb.", "March", "April", "May", "June", "July", "Aug.", "Sept.", "Oct.","Nov.", "Dez."];
var Tagname = ["Sun.", "Mon.", "Tue.", "Wed.", "Thu.", "Fri.", "Sat."];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return Tagname[date.getDay()] + ", " + date.getDate() + ". "+ Monatsname[date.getMonth()] + " " + date.getYear();
}
// -->

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
//-->