Soll die Joggeli-Halle in Roger-Federer-Arena umbenannt werden?