Soll die St. Jakobshalle umbenennt werden?