Hohlleiterlinse (Adjektiv)