The instrument of the astrometric mission DIVA - Wagner, Stefan; Seifert, Walter; Mandel, Holger; Bastian, Ulrich; Röser, Siegfried (Highlights of astronomy, 1998)