Большой вертикальный круг Пулковской обсерватории.