2.5.1.2 Energy of springs