https://peeterjoot.com/2020/11/02/gauge-transformation-in-the-lorentz-force-lagrangian/