kleinere Notationsfehler ausgebessert