How DC comics and Marvel comics lost their super hero trademarks