| November 7, 2020 | Edited by Tom Morris | merge authors |
| November 30, 2017 | Edited by MARC Bot | fix combining diacritics |
| September 8, 2008 | Edited by RenameBot | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |
| November 7, 2020 | Edited by Tom Morris | merge authors |
| November 30, 2017 | Edited by MARC Bot | fix combining diacritics |
| September 8, 2008 | Edited by RenameBot | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |