Sony's Funimation buys anime streaming platform Crunchyroll for $1.175 ...