TanDEM-X: A Satellite Formation for High-Resolution SAR Interferometry | Synapse