Die Weltmeere sind in den letzten 20 Jahren grüner geworden.