Der alte Tivoli wird nächstes Jahr abgerissen und sein Vorgänger (ohne eigenen Artikel) ist es längst. Also ich bin für den ersten Vorschlag Tivoli (Aachen) und Alter Tivoli (Aachen). -- Visitator 21:50, 3. Nov. 2009 (CET)