holle lens met oog en geodriehoek