astronomical instruments (300024497) 'user(s) are' astronomers (300025789);