hvarföre nu 12,840 stjernpositioner föreligga.