Obituary for Battjes, Dorothy