Gamla Dramatiska teaterns brand.