SMS versenden: Algebraic Theory of Locally Nilpotent Derivations