How did we find out about superconductivity?