The Dutch term "aardmannetje" matches the English term "goblin, gnome, brownie, imp"