Patricia N. Steinmann (1932-2015)