PHP-Funktion um zu prüfen, ob es sich um einen Feiertag in Deutschland handelt.