H. Martensen

Revision	When	Who	Comment

6	January 5, 2023	Tom Morris	merge authors
5	September 23, 2022	Tom Morris	merge authors
4	September 30, 2020	MARC Bot	add ids
3	June 7, 2012	VacuumBot	Removed period from death date
2	September 1, 2008	RenameBot	fix author name
1	April 1, 2008		initial import