Warum nicht einfach den Artikel Tivoli (Aachen) auf Alter Tivoli (Aachen) verschieben - denn so heisst er ja jetzt - und danach den Artikel Neuer Tivoli auf Tivoli (Aachen) verschieben? -- Gödeke 19:33, 23. Jun. 2010 (CEST)