Nationalteaterns i Berlin brand.