Die Wichtelmänner - Brüder Grimm (Die Wichtelmänner, 1987)