Over het Anton Pannekoek Instituut voor Sterrenkunde