<!--
  function istFeiertag(tag, monat, jahr)
  {
    tag = parseFloat(tag);
    monat = parseFloat(monat);
    jahr = parseFloat(jahr);
    
    
    var datum = new Date(jahr, monat-1, tag-1);
        
    //if(datum.getDay() == 0 || datum.getDay() == 6) // sonntag
    if(datum.getDay() == 5 || datum.getDay() == 6) // samstag + sonntag
      return(true);
    
    if(tag == 1 && monat == 1) // neujahr
      return(true);

    if(tag == 1 && monat == 5) // maifeiertag
      return(true);

    if(tag == 3 && monat == 10) // tag der dt. einheit
      return(true);

    if(monat == 12 && (tag == 25 || tag == 26)) // 1. und 2. weihnachtsfeiertag
      return(true);

    
    var osterSonntag = new Date(jahr, 2, 0);
    osterSonntag.setTime(osterSonntag.getTime() + tage2msec(ostern(jahr)));
    
    
    if(datum.getTime() == osterSonntag.getTime() - tage2msec(2)) // karfreitag
      return(true);

    if(datum.getTime() == osterSonntag.getTime() + tage2msec(1)) // ostermontag
      return(true);

    if(datum.getTime() == osterSonntag.getTime() + tage2msec(39)) // himmelfahrt
      return(true);

    if(datum.getTime() == osterSonntag.getTime() + tage2msec(50)) // pfingstmontag
      return(true);

    if(datum.getTime() == osterSonntag.getTime() + tage2msec(60)) // fronleichnam
      return(true);

    
    return(false);
  }
  
  
  function ostern(jahr)
  {    
    var k = Math.floor(jahr / 100);
    var m = 15 + div(3*k + 3, 4) - div(8*k + 13, 25);
    var s = 2 - div(3*k + 3, 4);
    var a = jahr % 19;
    var d = (19*a + m) % 30;
    var r = div(d + div(a, 11), 29);
    var og = 21 + d - r;
    var sz = 7 - (jahr + div(jahr, 4) + s) % 7;
    var oe = 7 - (og - sz) % 7;
    var os = og + oe;
        
    return(os);
  }
  
  function div(divident, divisor)
  {
    return(Math.floor(divident/divisor));
  }
  
  function tage2msec(tage)
  {
    return(tage * 24 * 3600 * 1000);
  }

//-->