Mainz (dpa) - Die Mainzelmännchen sind die Maskottchen des ZDF. Das wird sich auch vorerst nicht ändern, wenn es nach dem Willen der Macher geht. Zumal es im Jahr 2003 die jüngste optische Runderneuerung gab. Vor allem soll es keine Mainzelfrauchen geben. Es sei immer mal wieder überlegt worden, ob ...