im Sommer 2012 und 2017 (documenta-Jahre) und im Sommer 2016 (kein documenta-Jahr); für August 2017 liegen noch keine Zahlen vor