https://peeterjoot.com/2015/09/26/lagrangian-for-magnetic-portion-of-lorentz-force/