Toponim: Veliki Bukovec.