Astronomical Netherlands Satellite
...that the first Dutch satellite, the Astronomical Netherlands Satellite, had the Main Belt asteroid 9996 ANS named after it?
...that the first <a class="mw-disambig" href="./Dutch" id="mwEUc" rel="mw:WikiLink" title="Dutch">Dutch</a> <a href="./Satellite" id="mwEUg" rel="mw:WikiLink" title="Satellite">satellite</a>, the <b id="mwEUk"><a href="./Astronomical_Netherlands_Satellite" id="mwEUo" rel="mw:WikiLink" title="Astronomical Netherlands Satellite">Astronomical Netherlands Satellite</a></b>, had the <a class="mw-redirect" href="./Main_Belt_asteroid" id="mwEUs" rel="mw:WikiLink" title="Main Belt asteroid">Main Belt asteroid</a> <a class="mw-redirect" href="./9996_ANS" id="mwEUw" rel="mw:WikiLink" title="9996 ANS">9996 ANS</a> named after it?