https://www.dict.cc/english-german/Adie%27s+tonic+pupil.html