Granada im Juli: Festivalsaison, Hitze und was man wissen sollte