Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing (NAVITEC), ESA Workshop on