Pinocchio Park: the puppet theatre for children.