hái / zi / men / dì / yī / cì / zài / shū / zhōng / kàn / dào / dòng / yuán / zhè / ge / míng / zi孩子们第一次在书中看到洞螈这个名字。The children saw the name olm in a book for the first time.