https://www.scinexx.de/news/kosmos/mars-verlor-einen-ganzen-ozean/