Lotty Hooft: none known