Toponym: Grice, Ribnik.