Anschlag in Barcelona: Innenministerium ordnet Trauerbeflaggung an