Boeken over Pinkeltje, het verhaal van de film