The thermodynamics of electrical phenomena in metals, and A condensed collection of thermodynamic formulas