david the gnome in real life