Restore old version of nov_nog.
Added some mwiv lemmata, but unfortunately without proving them.