Ich bin nicht im Sendegebiet des WDR aufgewachsen, aber aus den Programmangaben, die ich kenne, ergibt sich, dass in der Tat der WDR sowohl das "normale" als auch das "internationale" Sandmännchen ausgestrahlt hat. Ob sogar beide am selben Tag über die Bildschirme liefen, weiß ich jedoch nicht.