Hörmann, J. L., Pastewka, L., Vazhappilly, A., Bobby, E. J., Sanner, A., & Nöhring, W. dtool-lookup-gui [Computer software]