Obituary: John J. Zimmerman, 84