restaureringar förändrat ” Tivoli-teatern ” från en ruskig fröjdlokal till en rymlig ,elegant