hivatalos megnevezés: Červený Kláštor – kúpele, magyar megnevezés: Červený Kláštor – kúpele településrész -> Alsólehnic, kód: [523429], járás: Késmárk [703], kerület: Eperjesi kerület [7]