https://www.scinexx.de/news/kosmos/deutscher-radarsatellit-startet-im-herbst/