GESTRA: Deutsches Weltraumradar eingeweiht