DDR-Kinderfilm, der in einem Mantel spielt

Als Kind war der Film einer meiner Lieblingsfilme, leider weiß ich nicht mehr viel von ihm. Er war auf jeden Fall Anfang der 2000er schon alt und stammt laut meinen Eltern aus der DDR bzw. zumindest der Zeit. In dem Film geht es um kleine Männchen, die in einem Mantel leben und dort unter Tage arbeiten. Es kommt auch ein Scheinriese vor. Die Männchen essen gerne Kartoffelpuffer und singen dabei "Kartoffelpuffer ess' ich gern'". Der Titel hatte (vermutlich) auch etwas mit diesem Mantel zu tun, es ist aber nicht "Der Zaubermantel". Mehr weiß ich leider nicht, würde mich aber sehr freuen, den Film wiederzufinden.