Changelog
July 31: Three minor mistakes in the German version, found by a professional proofreader, were eliminated. (The autor exhaled audibly when he heard about them.)
July 30: One small correction in the German version.
July 29: German version added. Also, a few stylistic improvements to the English version.