Sollte die Bezeichnung „Weihnachtsmann” geschlechtsneutral ersetzt werden, damit sich auch Frauen mit dieser Rolle identifizieren können?