Obituary for Mueller, David