Local isotropy and anisotropy in a high-Reynolds-number turbulent boundary layer | Synapse