Shape measurement of the anterior eye surface by F.H.M. Jongsma