MICHAEL RIPPER
	(1913 - 2000)