Toponym: Hrastovec Toplicki, Varazdinske Toplice.