vid middagstiden utbröt eld i Kristiania teater.