Su misión fue denominada Astrolab por la Agencia Espacial Europea.