Leram - From Tracking Code to Analysis: Generalised Courant-Snyder Theory for Any Accelerator Model (English Edition)