This is an old revision of this page, as edited by Jerome Kohl (talk | contribs) at 02:17, 26 February 2018 (fixed dashes using a script; italicize book titles; use English forms of place names on English Wikipedia). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.