ana3: definition differenzierbare mannigfaltigkeiten korrigiert