Toponim: Veliki Potočec, Križevci.