Der Jedermann in Weimar: Juli '24 Weimarhallenpark, Festspielgelände