Gesetzlicher Feiertag zum Ramadan-Ende?