Es ist noch komplizierter! Im WDR gab es noch das "Sandmännchen International", welches von menschlichen Darstellern gespielt wurde, also keine Puppe war. Das gehörte, glaube ich, aber nicht in die langjährige Vorabendserie.