Quantum electrodynamics, Pauli-Fierz model, binding energies,  
mass renormalization