mans , pianisten Otto Goidsuhmidts,