Mitteilungen der Nikolai-Hauptsternwarte zu Pulkowo