Großzügiges Ruhegeld für Senderchefs bei ARD und ZDF