Ab Initio Structure Search and in Situ 7Li NMR Studies of Discharge Products in the Li–S Battery System | Synapse