Сказка о маленьком чертёнке

Когда-то мне фильм очень нравился и я даже считал его своей любимой сказкой, но, увы, сейчас забыл от слова "совсем". Единственное помню, что главный герой (или один из главных героев) маленький чертёнок (или похожий на чертёнка мальчик). Возможно, по братьям Гримм; возможно, совместного производства или какой-то соцстраны.

Шёл по телевизору под вечер или вечером (возможно, в рубрике "В гостях у сказки"), в конце восьмидесятых или самом начале девяностых.

Я понимаю, что сведений катастрофически мало, но уже приходилось видеть здесь чудеса опознания.

Этот?

Принцесса с мельницы https://www.kinopoisk.ru/film/226991/

https://www.kinopoisk.ru/film/219545/

Этот?

Принцесса с мельницы https://www.kinopoisk.ru/film/226991/

https://www.kinopoisk.ru/film/219545/

Поздновато выходит... Хотя тот, что 1994 года проверю, если найду.

Чертёнок (1981)

Похоже, именно он. Во всяком случае, эпизод со свиньями, превращающимися в чертей показался мне знакомым, и ещё пару моментов смог предыгадать.

Благодарю! Тему закрываем!

Я всегда верил, что на этом сайте просто чудеса творятся.