byggnader flaggas på half stång och alla teatrar äro stängda.