I'll pass that book info on to others.
Another source of German info is

German Manuals in English

and yes he is a friend of mine. Does a great job with everything. I own a lot on his manuals....