Wie heißt das Maskottchen (pazifisches Walross), das lange Jahre von der ör. Rundfunkanstalt NDR genutzt wurde?

Für aller (deutschen) Sprache nicht so Mächtigen: Seit dem 17. Juli 2003 heißt das Walross nicht mehr, sondern es hieß Antje!

Prustend und schnaufend schwamm sich NDR Maskottchen "Antje" in die Herzen der Zuschauer. Für Pausenfilme zog die Walross-Dame ihre Bahnen und ließ sich ins Wasser fallen. Am 17. Juli 2003 starb sie an Altersschwäche.