Erklärung zu KOntexten und Variablensubstitution ausgebaut
Definition von PA/HA