European GNSS Service Demonstrator (ESD) (EXPIRED)