Red – Namensentwicklung für ProSiebenSat.1