Rubber pencil sharpener of Pinocchio. Vintage, from Walt Disney Productions, it dates back to 1977. 7.5 x 4.5 x 3.5 cm. Made in West Germany.