Still pushing through section 4.

Just noticed that the use of “richtig” is not consistent in the text. Sometimes it means “correct” sometimes it means “true” (wahr). Looks likes we’ll have to go back to the beginning and make a large number of changes… ho hum.