Персонажи - человечки зеленого цвета

[outrighter]

Помогите, пожалуйста, вспомнить старый зарубежный мультфильм (или кукольный фильм в стиле Маппетов).

Смотрел в 91-93 гг.

Фильм про маленьких круглоголовых зеленых человечков (не путать с инопланетянами), работающих под землей, в шахте, и носящих шахтерские каски.

[Апсурда]

Гора Фрэгглов ?

[outrighter]

Да, это оно. Спасибо большое!