Funktion is_unit(x,S) hinzugefugt
Merge branch 'master' of github.com:saraedum/ca2014