Toponym: Veliki Bukovec.