— [ Tivoli ] kl. 8 e. m . teater.