20170819 world.europe: House destroyed in gas blast holds clues to Barcelona attack