Eldanläggning i Kristiania teater,