Did you know that the first Dutch satellite , the Astronomical Netherlands Satellite , had the Main Belt asteroid 9996 ANS named after it?