// JavaScript Document
    function display_date() {
      date = new Date();
      var day_of_week_number = date.getDay();
      var day_of_month = date.getDate();
      var month_number = date.getMonth();
      var year = date.getFullYear();
      var day_of_week = '';
      var month = ''
      if(month_number == 0){month = 'Januar';}
      if(month_number == 1){month = 'Februar';}
      if(month_number == 2){month = 'März';}
      if(month_number == 3){month = 'April';}
      if(month_number == 4){month = 'Mai';}
      if(month_number == 5){month = 'Juni';}
      if(month_number == 6){month = 'Juli';}
      if(month_number == 7){month = 'August';}
      if(month_number == 8){month = 'September';}
      if(month_number == 9){month = 'Oktober';}
      if(month_number == 10){month = 'November';}
      if(month_number == 11){month = 'Dezember';}
      if(day_of_week_number == 0){day_of_week = 'So';}
      if(day_of_week_number == 1){day_of_week = 'Mo';}
      if(day_of_week_number == 2){day_of_week = 'Di';}
      if(day_of_week_number == 3){day_of_week = 'Mi';}
      if(day_of_week_number == 4){day_of_week = 'Do';}
      if(day_of_week_number == 5){day_of_week = 'Fr';}
      if(day_of_week_number == 6){day_of_week = 'Sa';}

      var date_to_show = day_of_month + '. ' + month + ' ' + year;

      document.write(date_to_show);
    }