Det astronomiska Pantoseopet är således ett nytt instrument,