See also in Arno Nicolaï's archive: NICOd708.