Strejk på Tivoliteatern i Kristiania.