Catharine Roth (rearranged translation, added cross-references, set status) on 24 February 2006@15:01:30. David Whitehead on 26 February 2006@03:55:26. David Whitehead (tweaked keywords) on 17 January 2013@03:42:18. David Whitehead (tweaks) on 21 July 2015@10:35:07. Catharine Roth (tweaked translation) on 3 March 2019@01:38:25.