Cleaning up
Removed stale comment
Fixing broken umlaut
Intro to reals, improved section notes