On the surface composition of cool, hydrogen-line white dwarfs - Discovery of helium in the atmospheres of cool DA stars and evidence for convective mixing | Synapse