Dora Holzhandler 1928-2015