Хочу узнать название мультика из моего детства.

Можете сказать пожалуйста как называется кукольный мультик, где действие начинается с работы множества шахтёров (или собирателей алмазов и изумрудов, по типу как каменщики), а потом они находят какую-то особенную драгоценность, которую хочет присвоить себе главный шахтёр (каменщик) из всех, потом эта же драгоценность его в камень превращает, потом рассыпается а остальные шахтёры убежали куда-то в сторону, а дальше не помню чем всё закончилось и что это был за мультик такой был кукольный, можете сказать его название пожалуйста?