Помогите найти мультфильм⁠⁠

Помню мультфильм годов 200х выпуска, вроде как отечественный, в котором был мальчик и профессор, которые с помощью какого-то устройства уменьшились и путешествовали по миру насекомых. Пожалуйста, помогите найти.