Doris Rita Engler (1925-2011)