[471] Hohllinse, ein scheibenförmiges Stück Glas, welches gegen den Mittelpunkt hin erhaben geschliffen ist.