cirkus förvandlades till Industripalatset för att nu åter undergå en ny förvandling — till astronomisk teater , säges det.