hivatalos megnevezés: Mrázovce, magyar megnevezés: Dér (település), kód: [527611], járás: Sztropkó [711], kerület: Eperjesi kerület [7]
