Man könnte die Halle ja auch einfach "Ole Ole" nennen. Beim Vereinsheim wurde ja auch einfach irgendein Singsang als Name gewählt, anstatt etwas historisches.

Aber ich denke darum kümmern wir uns, wenns soweit ist.

Könnte mich auch mit dem Namen "1860-Turnhalle am Robert-Reisinger-Weg" anfreunden!