STARDUST can be found.

http://jichitaigaku.blog75.fc2.com/?no=66 現時点での教授のブログのコメント欄のメモ。