<!--
// JavaScript to write current update info
document.write("URL: "+document.URL+"<BR>\n");
document.write("Last Updated: ");
var now = new Date();
var month = now.getMonth();
var day = now.getDate();
var year = now.getYear();
if ( year <= 1900 )
	year += 1900;
switch( month )
{
   case 0: monthStr="Januar"; break;
   case 1: monthStr="Februar"; break;
   case 2: monthStr="März"; break;
   case 3: monthStr="April"; break;
   case 4: monthStr="Mai"; break;
   case 5: monthStr="Juni"; break;
   case 6: monthStr="Juli"; break;
   case 7: monthStr="August"; break;
   case 8: monthStr="September"; break;
   case 9: monthStr="Oktober"; break;
   case 10: monthStr="November"; break;
   case 11: monthStr="Dezember"; break;
   default: monthStr="September"; break;
}
document.write( day + " " + monthStr + ", " + year);
document.write("<BR>\n");
//-->

