De ovariotomie, in het bijzonder in Nederland